The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lire la suiteThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Lire la suite